(declare-const v10 Bool)
(declare-const v12 Bool)
(declare-const v16 Bool)
(declare-const v17 Bool)
(assert v12)
(assert v17)
(assert (= v16 v10 false))
(declare-const v20 Bool)
(assert v20)
(push)
(pop)
(check-sat)
